((((UnivCD ) 
\\[0ex]CollapseTHENA (Auto$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((Unfold `p{-}co{-}restrict` 0) 
\\[0ex]
\\[0ex]CollapseTHEN (((((RWO "can{-}apply{-}compose{-}iff" 0) 
\\[0ex]THEN (MaAuto$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((((
\\[0ex]All (RWO "do{-}apply{-}p{-}co{-}filter")) 
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((
\\[0ex]All (RWO "can{-}apply{-}p{-}co{-}filter")) 
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$))$\cdot$))$\cdot$))$\cdot$))$\cdot$